-
1 логика предикатов
-
2 логика предикатов
Русско-английский новый политехнический словарь > логика предикатов
-
3 логика предикатов
Русско-английский словарь по информационным технологиям > логика предикатов
-
4 логика предикатов
Большой англо-русский и русско-английский словарь > логика предикатов
-
5 логика предикатов
1) Mathematics: quantificational logic2) Information technology: predicate logic -
6 логика предикатов
Русско-английский политехнический словарь > логика предикатов
-
7 логика предикатов
neng. Prädikatenkalkül, Prädikatenlogik -
8 логика предикатов
ло́гіка предика́тівРусско-украинский политехнический словарь > логика предикатов
-
9 логика предикатов
ло́гіка предика́тівРусско-украинский политехнический словарь > логика предикатов
-
10 логика предикатов
n -
11 логика предикатов
Русско-английский словарь по электронике > логика предикатов
-
12 логика предикатов
Русско-английский словарь по радиоэлектронике > логика предикатов
-
13 логика предикатов
• predikátová logika -
14 логика предикатов
Русско-английский математический словарь > логика предикатов
-
15 логика предикатов
Русско-белорусский математический словарь > логика предикатов
-
16 логика предикатов
predicate logic мат., quantificational logicРусско-английский научно-технический словарь Масловского > логика предикатов
-
17 логика предикатов первого порядка
Mathematics: first-order logic (= first-order predicate logic), first-order predicate logicУниверсальный русско-английский словарь > логика предикатов первого порядка
-
18 теоретико-множественная логика предикатов
Mathematics: set predicate logic, set-theoretic predicate logicУниверсальный русско-английский словарь > теоретико-множественная логика предикатов
-
19 теоретико-множественная логика предикатов
Русско-английский научно-технический словарь Масловского > теоретико-множественная логика предикатов
-
20 логика
ж. logicлогика «большинства» — majority logic
См. также в других словарях:
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
логика предикатов — ЛОГИКА ПРЕДИКАТОВ раздел символической логики, изучающий рассуждения и др. языковые контексты с учетом внутренней структуры входящих в них простых высказываний; при этом выражения языка трактуются функционально, т.е. как знаки некоторых… … Энциклопедия эпистемологии и философии науки
ЛОГИКА ПРЕДИКАТОВ — раздел логических теорий, в котором изучаются общезначимые связи между высказываниями о свойствах и отношениях предметов; в основе логики предикатов лежит формализованный язык, отображающий субъективно предикатную структуру высказываний. См.… … Большой Энциклопедический словарь
логика предикатов — раздел логических теорий, в котором изучаются общезначимые связи между высказываниями о свойствах и отношениях предметов; в основе логики предикатов лежит формализованный язык, отображающий субъективно предикатную структуру высказываний. Смотри… … Энциклопедический словарь
Логика предикатов — Логика первого порядка (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… … Википедия
Логика предикатов — раздел математической логики (См. Логика), изучающий логические законы, общие для любой области объектов исследования (содержащей хоть один объект) с заданными на этих объектах предикатами (т. е. свойствами и отношениями). В результате… … Большая советская энциклопедия
ЛОГИКА ПРЕДИКАТОВ — раздел дедуктивной логики, в котором ведущую роль играет влияние внутренней структуры суждений на логический вывод. Поскольку здесь полностью сохраняется характер связей логики высказываний (см. Логика высказываний ), то Л. п. можно рассматривать … Современный философский словарь
логика предикатов — (Функциональная логика) (теория квантификации) (кванторная логика) основной раздел современной (математической, символической) логики, в котором описываются выводы, учитывающие внутреннюю (субъектно предикатную) структуру высказываний. Л. п.… … Словарь терминов логики
ЛОГИКА ПРЕДИКАТОВ — раздел логич. теорий, в к ром изучаются общезначимые связи между высказываниями о свойствах и отношениях предметов; в основе Л. п. лежит формализованный язык, отображающий субъективно предикатную структуру высказываний. См. также Исчисление… … Естествознание. Энциклопедический словарь
ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… … Философская энциклопедия
ЛОГИКА СИМВОЛИЧЕСКАЯ — ЛОГИКА СИМВОЛИЧЕСКАЯ математическая логика. теоретическая логика область логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Термин “символическая логика” был, по видимому … Философская энциклопедия